1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | mtc-m21b.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP5W34M/3GG3NJS |
Repositório | sid.inpe.br/mtc-m21b/2014/06.17.14.28 |
Última Atualização | 2015:02.19.18.01.49 (UTC) administrator |
Repositório de Metadados | sid.inpe.br/mtc-m21b/2014/06.17.14.28.29 |
Última Atualização dos Metadados | 2021:02.11.20.57.49 (UTC) administrator |
Rótulo | self-archiving-INPE-MCTI-GOV-BR |
Chave de Citação | AlarcónCarvSimõ:2014:GeAuCa |
Título | Geração automática de casos de teste aplicada ao projeto de aocs de satélites artificiais |
Ano | 2014 |
Data de Acesso | 01 maio 2024 |
Tipo Secundário | PRE CN |
Número de Arquivos | 1 |
Tamanho | 1095 KiB |
|
2. Contextualização | |
Autor | 1 Alarcón, Paulo Nolberto dos Santos 2 Carvalho, Fabrício Galende Marques de 3 Simões, André Rodrigues |
Grupo | 1 DSE-ETE-INPE-MCTI-GOV-BR 2 DSE-ETE-INPE-MCTI-GOV-BR |
Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Fundação de Ciência, Aplicações e Tecnologias Espaciais (FUNCATE) |
Endereço de e-Mail do Autor | 1 paulonsalarcon@gmail.com 2 fabricio.galende@inpe.br 3 andre.simoes@inpe.br |
Endereço de e-Mail | fabricio.galende@inpe.br |
Nome do Evento | Congresso Brasileiro de Automática. |
Localização do Evento | Belo Horizonte |
Data | 20 set., 2014 |
Título do Livro | Anais |
Histórico (UTC) | 2014-06-17 14:28:29 :: fabricio.galende@inpe.br -> administrator :: 2021-02-11 20:57:49 :: administrator -> marcelo.pazos@inpe.br :: 2014 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Tipo de Versão | publisher |
Palavras-Chave | AOCS Automatic Test Case Generation Control Systems Space Systems Model-based Testing AOCS Gera¸c˜ao Autom´atica de Casos de Testes Sistemas de Controle Sistemas Espaciais Teste Baseado em Modelos |
Resumo | This work does a case study about the application of two techniques for automatic test case generation in the development of an attitude and orbit control system for artificial satellites, including software and simulators. We compared two techniques, being a finite state machine-based technique (W method) and a formal specification-based technique (decompositional method). W method proved be applicable in all conditions of the system verification, but decompositional method has shown be partially applicable for this kind of system. RESUMO: Este trabalho faz um estudo de caso sobre a aplicação de duas técnicas de geração automática de casos de testes no desenvolvimento de um sistema de controle de atitude e órbita para satélites, incluindo software e simuladores. As técnicas comparadas foram os métodos W, que é baseado em máquinas de estados finitos, e decomposicional, que é baseado em especificações formais. O método W mostrou-se aplicável em todas as condições ao passo que o método decomposicional demonstrou-se parcialmente aplicável no desenvolvimento deste tipo de sistema. |
Área | ETES |
Arranjo | Geração automática de... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/8JMKD3MGP5W34M/3GG3NJS |
URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP5W34M/3GG3NJS |
Idioma | pt |
Grupo de Usuários | fabricio.galende@inpe.br marcelo.pazos@inpe.br |
Grupo de Leitores | administrator marcelo.pazos@inpe.br |
Visibilidade | shown |
Permissão de Leitura | allow from all |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Vinculação | Trabalho não Vinculado à Tese/Dissertação |
Repositório Espelho | iconet.com.br/banon/2006/11.26.21.31 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/446AUSL |
Lista de Itens Citando | sid.inpe.br/bibdigital/2021/02.11.20.54 1 |
Acervo Hospedeiro | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format isbn issn lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress resumeid rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject targetfile tertiarytype type url volume |
|
7. Controle da descrição | |
e-Mail (login) | marcelo.pazos@inpe.br |
atualizar | |
|